Massachusetts Institute of Technology - PDFSEARCH.IO - Document Search Engine

Massachusetts Institute of Technology
Results: 10342

#	Item
31	AUTO2, a saturation-based heuristic prover for higher-order logic Bohua Zhan Massachusetts Institute of Technology Add to Reading List Source URL: itp2016.inria.fr Language: English - Date: 2016-08-30 03:42:56
32	Human-Robot Interactive Planning using Cross-Training: A Human Team Training Approach Stefanos Nikolaidis∗ and Julie Shah† Massachusetts Institute of Technology, Cambridge, MA 02139, United States Robots are increas Add to Reading List Source URL: www.stefanosnikolaidis.net Language: English - Date: 2013-05-29 15:36:44
33	Perspectives on the CAP Theorem Seth Gilbert National University of Singapore Nancy A. Lynch Massachusetts Institute of Technology Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2012-07-23 10:39:57
34	Massachusetts Institute of Technology 6.857: Network and Computer Security Professor Ronald L. Rivest Handout 3 February 23, 2015 Add to Reading List Source URL: courses.csail.mit.edu Language: English
35	Allographic Biometrics and Behavior Synthesis Vlad Atanasiu Massachusetts Institute of Technology USA http://mywebpage.netscape.com/atanasiuvlad/frq/ Add to Reading List Source URL: www.waqwaq.info Language: English - Date: 2009-11-30 13:00:33
36	MASSACHUSETTS INSTITUTE OF TECHNOLOGY Chemical Hygiene Plan Revision 15: January 27, 2014 Institute for Soldier Nanotechnologies Add to Reading List Source URL: isnweb.mit.edu Language: English
37	NOÛS 34:1 ~2000! 31–55 Gender and Race: (What) Are They? (What) Do We Want Them To Be? 1 Sally Haslanger Massachusetts Institute of Technology Add to Reading List Source URL: www.mit.edu Language: English - Date: 2002-04-08 10:09:39
38	A New Accident Model for Engineering Safer Systems ∗ Nancy Leveson Aeronautics and Astronautics Dept., RoomMassachusetts Institute of Technology 77 Massachusetts Ave., Cambridge, Massachusetts, USA tel: Add to Reading List Source URL: sunnyday.mit.edu Language: English - Date: 2015-12-11 12:29:43
39	Efficient Integer Vector Homomorphic Encryption Angel Yu, Wai Lok Lai, James Payor Massachusetts Institute of Technology 77 Massachusetts Avenue, Cambridge, MA 02139, USA {angelyu, wllai, payor}@mit.edu Add to Reading List Source URL: courses.csail.mit.edu Language: English
40	On the (non-)cumulativity of cumulative quantifiers Luka Crniˇc Dept. of Linguistics and Philosophy Massachusetts Institute of Technology Add to Reading List Source URL: lukacrnic.com Language: English - Date: 2017-11-14 02:27:32